perm filename AMMI6.360[360,GF] blob
sn#799944 filedate 1985-07-31 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T Ec⊃
β`%@↓V58α∃@e0β∃ u ↓@ E ↓@E_↓@@E⊂↓@`Uλ↓A Eλε∀↓Tx↓A`Dx↓αDp↓BTh↓B@D`αα@DPβAA$PβAA∀("⊂BqH
¬Px'D
⊂(β↓
⊂ ∧↓
⊂ ∧↓
⊂ ∧↓
(βA
∧↓
β↓*h'Cip ∧↓ p ∧↓ p ∧@i`(∧↓ ` ∧A ` ∧A ` ∧↓ P(βA !⊂%∧λT !Ec!
α@p(TA0⊂↓∀P0β∪`@Hα∪@@X↓S @`↓S@h↓S@h↓∩`@p↓∩`DPαR@DPαβ@$Pαβ@$Pαβ 4X↓C $Xαα`$`↓B@$hα↓@4p¬Td("⊃β⊃X
¬Px'D*⊂(β↓*⊂ ∧A
⊂ ¬j⊂ ¬↓
(¬↓
¬A
¬A
¬A p(¬↓ p ¬A p ¬A p ¬↓ `(¬↓ ` ¬↓ ` ¬i` ∧↓ P(β↓)!λ%βhT "Fβ!
↓"4x T P@α∀ @P↓T @P↓T @(↓`5αA0_↓∀@(↓↓%α↓5¬SaDxα↓ $xα↓ (↓∪`@(↓↓4pαA ↓∪@@X↓S@@X↓S@@P↓S P8β∩BTP
⊃(D0FαA αDIq⊂(A p (A↓⊂_(A↓⊂_(AP⊂↓j(α` ⊂(↓P⊂↓@J αjX'C p α@Ip α@Ip α@I`(α@I` '↓ ` &A) X%αHT #Ec!
α@p(TA0⊂↓∀P0β∪`@Hα∪@@X↓S @`↓S@h↓S@h↓∩`DXα∩@TPα∩@@@¬∩@@@¬∩@@XαR`0Xα∩`@Pα∪0Pα∪ @0αSA0λ↓∀`(Q(D@
G"A αB@ P'B@ P(A p((A↓ (A↓ (A↓ (↓ p((↓↓ (↓↓ (∧ qλ'A↓ 'A↓ 'A↓ '↓ p('↓↓ '↓↓ '↓↓ &A p(%α@ P%α@ P"Q ⊂xλEα@(¬∪a%λαT Eλα∀ EαTEα∀DxαS`Dxα∪`DpαS@Dpα∪@DhαRA$P¬⊃(DPλE"A βBJ⊂P*↓*@ *↓
@ )A*0 )A
0 )↓* )↓
(A)0⊂α↓ ↓A ↓A _↓A H%AHT %FcQ
↓! ∧∪a ∧∀ P@α∀ @@↓T @0α∀ @(α∀P ↓T@_α∀@⊂αT@λβ∪aDxβ@ TxαADxα↓ TpαA@Dpα↓`Dpα↓`TpααDhαBTP¬↓↓∀P¬↓↓∀("∪αQ8
¬PX'BJ⊂((A
⊂ (A
((↓
(↓ p('A p ¬Ip ∧@i`(∧@I` ∧@i` ∧↓ ` βA P(αAI!_%∧HT &HdA
↓ qβS`px∧∀ Ppβ∀ `hαT ``β∀ `XβT↓H∧∀ ⊂αα0λα∀ ⊂αα ⊂α∀ ⊂α↓`0⊂α∪`0⊂αA 0⊂αS` α↓0_α∪` α↓ α∪` α`0 α∪@0 α@ 0 αS@ 0βA Dp↓↓@`0α∪@ 0αA`Dh↓A`@0αRA(↓A↓$P∧↓ (¬⊃(Dp
G"A αA`p@'A`p@(AA_(AA⊂(A`p⊂(@@⊂ β@J_A P_(@0 α@J⊂↓A @⊂(@@ αIp_α↓ _'@@` ↓Ip⊂β↓ ⊂⊂'@@p @I`_βAi`⊂∧A)`⊂∧A)`⊂¬↓ P_¬↓ @∧@I @∧@HT 'Ec!
α`e⊂¬TP(α∪`@H↓S@@Pα∪ @`↓S@hα∪@hα∩`@pα∩`@pα∩`@hα∩@@pα∩@@pα∩@@hα∩@@hα∩`0`α∩`@Pα∪0Hα∪ @(αSA5β⊃(Eε"A αCiqλ(A p (A↓⊂ (A↓⊂ (A↓⊂ (↓! (↓↓⊂ (↓↓ (↓p 'Ciph'A p '↓)` '↓ ` &A) P%αHT (Ec!P
α`e⊂¬TP(α∪`@H↓S@@Pα∪ @`↓S@hα∪@hα∩`@pα∩`@pα∩`@hα∩@@pα∩@@pα∩@@hα∩@@hα∩`0(↓↓ DXα`@_α∪0⊂β Dhβ@dp¬@`%βA %(↓↓5(↓`5(∧∃ u(β∃@D("∀C↓P
¬Pp'D
⊂(αA*⊂ ∧↓
⊂ ∧↓
⊂ ∧↓
(βA
βA* β↓
h'C p α@ip αA p βi`(αA ` β↓ ` β↓ ` β↓@⊂&A ` ↓@I Pαα PαAHT )Dba
α `⊂↓∀!E↓A Tx↓A`4p↓B $p↓B $p↓B $pα∪A∧p¬Sa5λ∧U e8α∩` P↓R` P↓R` P↓R`0@↓R@`(↓RATP↓`d("∃αq@
¬1 &¬)@(↓A 0(&↓@ αA 0_β↓`_%@`` βi _β↓ `⊂%@p β@J0 )A
()↓
)↓
⊂((A
⊂ (A
(&β @`"Q
Q0
¬α@¬↓↓∧P¬↓↓∧`αB 4`αα@$`αα@$`αα@$XαB 4Xαα@$Xαα@$Xαα@$PαB 4Pαα@$Pαα@$Pαα@$Pαα 4P↓B@$P↓B $Pα↓`4X↓A@4`∧S@T("∃Ba@
¬Hβ↓i Hβ↓i@ ¬↓ @ ¬i@(∧iP ∧IP β@iP βiP βIP α@iP(↓@i` ↓i` ↓I` @i`8'↓I`0'A p_'@ip⊂"Q
qp⊂Eα@βA↓(β∩@p_∧A dXαα@H↓∩`@@αα4Xα↓`P8↓R`@8αA`$XαA p(↓S@(↓ @(↓∪@ ↓@ @ ↓S@_↓@@@_↓S@_↓`@_↓∪@⊂↓@`@⊂↓S@λ↓A@λ↓S@λ↓↓ @λ↓∪p(βS P8αS P8αS @@α∪ 0H↓S 0H↓S P↓⊃(E@∞π"A αB `@'B P@(A!()↓ p_)A`_)A @_*↓0_*↓ ⊂_*Aj`(+↓*P0*α
0_↓↓* _α↓
⊂_αA*_βA p_∧↓)P(∧A)0@βα) @βB(T ,EC⊃
↓⊂0βRA⊂0βSPH↓S @@↓S @8↓S P0↓∪@@(↓S@@ ↓S@P⊂↓S`@λ↓S`txβ∀Eα∪`Txα∪`Dxα∪@TX¬∩a$("⊗BaH
¬a(∧ p(β↓)p_βA)p_β↓)p⊂β↓)`_αA)`⊂αA*@()A*0 )↓*⊂(α@J(α@ip(βI`(βiP(β@i@(β@i0(β↓)!λ%∧λT 0Dα0hεA@@λ↓SA$h↓AD`↓A D`↓↓@4X↓A@4X↓A@4X↓A DP↓A@0⊂↓∩@00↓@@$X↓↓ @λ↓R`0_α@ $`εS @_α⊃(F⊂εβbA ↓↓)@(&A P_&@iP_&↓ @_A @H&↓0⊂%A@_%@`P_%@`P_%@`P_%@`@_%`P_%`P_%@@@_%@@0_&↓IP "Q0`πC!P0α∪@th↓@`4`↓A4`↓A4X↓R`4X↓R@4P↓R` 0↓∩`0 ↓S↓∧hβ⊃(F λ∧bA ¬A*P(+↓
`_+j`_*A
@i`P&@`@ &`P &@`_%@``_%@``_%@`P %``_↓I _β` ⊂%@@P @i0_↓A ⊂⊂&β)P ↓AλT 2BaphεA DhβS0_↓R`0 ↓R` ↓RA∀P∧∩@4P↓∩@$P↓↓@$P↓A4X∧∪d("→B⊃_
¬↓0(*↓j0_↓j0_↓j _)j _'B)pH(A
⊂_(@j⊂_(@j (j_(j_(ip_'@ip_%`⊂_%`⊂_%↓I0 "Qppλ∧aP8↓@ 4x∧S@0_α∪ 0 α∪ (↓S0(↓S0(↓S0 α∩`0(↓R`0(↓S α∪ _αS!∧p↓@ 5⊂↓T DP↓A4P↓@`DP∧R`d("~α⊃
¬0(&A)` 'i`_'iP &@` (&BiP0↓i@(αi@(αi@ α@i@_βi0 αA 0_β` ⊂%@`P ↓I0_α@` _%↓P_@i _βA) _βAλT 4BA1
↓`5λ↓T 48↓S D`β∩`0λ↓R@0⊂↓R@ ⊂α∩@ ⊂↓S@4hα∪ 0⊂↓∪@⊂↓∪0⊂↓S0λ↓S Thα⊃(FPπβc! ¬@jP_*@hp_(↓ p0'` ⊂'@ _&@` _&@@0_)j⊂ (@j⊂_(@j (j_(ip %` _%`⊂ %↓i0 "Q
0x ¬α@_αS Tpα∪@4p↓S@4hα∪ 0(↓S 0_β∪ 0⊂βS↓⊂↓St`αStXα 4X↓@`0_↓∩`0_↓@`$X↓@`0⊂↓R@@_↓@ 4P↓AdP↓A D("≠pH
¬ (&↓)P &@iP_&@i@ &i@_&i0 %@i0_%@i %` ⊂%` ⊂%`⊂_%`⊂⊂%↓I0 "Q
Q`∂β!P⊂↓AP(αR`P⊂∧A∧Xα@ 0_↓@ 0_↓RA⊂ β↓4P↓ P(αA 4P↓ @0α↓@4h↓A`08↓S@0α↓@D`↓A`08↓@ $`↓A`00α $`↓A`00↓@ 4Xα↓@@0↓@ $X↓A`0@αR`08↓BD("≠B1(εC _α↓)0(↓α 0(@`0_%α @_%@⊂(α@i ⊂A`_&@`p_&↓` &`p_↓I@_β↓ ⊂&``_↓i0 β`⊂_%@a(%@a "Q
ppλC!P0αS`th↓A4`↓A@4`↓A@4X↓A`4X↓A`4X↓A@4P↓A`4P↓A`4X↓↓@4X↓A4`∧∪ T("≤α⊃λ C @_↓A P(AIP8αI@8α@i@⊂@``_&@⊂_βip_βi` α@i`_βi`_βi`_α@iP(↓@iPP&@`⊂ &@i@ &i@_%AI 8"Q∞⊂pλ∧aP0α@$p¬∪ 0_αS0(α∪ 0↓R`00↓R`00↓R`0(α∩@00↓R@00↓R` (α∩`0_αS↓∀h∧∀@5λα∀ 5λ↓S`txβ⊃(G⊂εCaPh↓`0 %A ⊂0%B⊂_%α _%@⊂ %@⊂ &@i@ &i@_&i0 %@i0_"Q∞0`πC!P(αS@th↓↓4h↓↓4`↓A4`β∪ tpβR@0 α∩@00↓∩@00↓∩@0(↓∩a∧`β⊃(G ¬Cα1_α@ip_'@ip_'@i` %αi X'iP &@iP_&@i@ &`@⊂&`@⊂&`0_&` _&↓iP("Q∞Q⊂
β!P⊂α↓`4Xβ↓@4X↓ 00↓R@0λ↓A DP↓ @(↓R@ λ↓A@4h↓A@4`α↓ D`↓A@0⊂↓∪00↓@@$`↓A @λ↓S@⊂β $hπ∪@P_α⊃(G0π∧↓Ph↓↓P_%A@@_%@@⊂_αi _@`P⊂%@⊂ α@I ⊂@``⊂&@``⊂&↓P_&``⊂&`P_&`P⊂&↓ &B `("Q∞q(C!P⊂α↓@0_↓R``(↓@`4X↓ 0(↓@`4P↓@ 0 α↓$P↓ @ ↓A $P↓ 0(↓A $h↓A 0(↓∪@ α↓4`↓A 0(↓∪0(↓A4`↓A@ ↓∪@⊂β@4hβ@ tpα@`T("≡α↓⊂εC @ ↓A P0AI@_↓↓ ⊂_%@`0 ↓i0⊂αi0⊂αj⊂_(↓
_α@J_α@I _↓@`@_%`⊂(↓@i p%A0("Q∂⊂xλDaP⊂α↓@4Xβ↓ 4X↓ 0(↓R@0λ↓ADP↓ @ ↓R@ λ↓A 4h↓A 4`α↓D`↓A 4`↓A 4`↓AD`α@Th∧SA¬_↓R`0 ↓R`0 ↓R`0_↓Ra∧`αQ(GPπD!PhαA@⊂'↓@⊂ &BiP⊂α↓
0_)j 'A `_α@IP_βI@(↓A 0`%↓⊂8%@@("Q↓0Eα@(λSb∃λαA@Eλαα5λαα5λαα5αB%αα %α∀DxαS`Dxα∪`DpαS@Dpα∪@DhαRA4P¬⊃(@λεbA λK⊂_,↓*p0+AJ`@*@` *`0 )@`@()`` )@p (@`p (a('@a 'a0 &@a@(&@A` &a` %Ei!@%ελT ↓¬c!
α`e⊂¬TP(α∪`@H↓S@@Pα∪ @`↓S@hα∪@λ↓↓@ ⊂α∩`@⊂↓↓@ ⊂α∩`@⊂¬@DXα!0λα∩@@⊂¬@DPα@ 0↓@DPα@ 0↓ DPαβ DX↓CDXαα@D`↓B Dhα↓ Tp¬Td("bA0
¬↓P⊂+@J` +↓
P(*↓J@0)Aj0⊂A
_A
⊂_↓↓
⊂⊂↓A
_↓A
⊂α↓)p_αA `_β↓ `⊂βA P_βA @ βA 8↓BI 8↓B(T α¬C⊃
↓"∀xλSB$p↓β $p↓β $8S` H↓∪` H↓∪aTpπ∪ATp↓α $p↓α $8R` h↓∩` h↓∩B$PλRB∀("↓#Ap
¬Q8'Ej⊂(∧↓*⊂ ∧A
⊂ ∧A
⊂ ∧A
(∧↓* ∧A
∧A
∧A p(∧↓)p ∧A p ∧A p ∧A `(∧↓)` ∧A ` ∧A ` ∧A P(∧↓) HαB) HαB(T βεβ1
↓"4x S`PPα∀@X↓TPP↓T @P↓T PH↓∀@@H↓∀@U_α∀`E ↓T@Eλαα %↓B@4x↓B`$p↓B`4`αα`4Xαα@TP
∩B4("↓ba@
¬0(∧↓ @8αAi0_↓@`0 ↓i _α` _α@I ⊂β↓`P⊂%@`0βJ ()↓* )↓
⊂((A
⊂ (A
((↓
(↓ p(&αi0`"Q↓↓ ¬α@0ε∀↓5_αT!∧xε∪ Pλα D`α@P⊂α∩`@_α↓DPα↓@ α∩@@ α↓DPα`P_α∩@0 α↓DPα`@_α∩@@_α@DXα!$`ε∪A¬α∪`T`¬RaD("α"aH
¬``(αj0()A (α↓@(%↓ @ ↓AI0 ↓A 0 %A0 ↓A)0 ↓A0 %A0 ↓A 0 ↓↓ (%A ↓↓)0 ↓↓ %A ⊂ A)@p&β)PP(↓ p(&αi0`"Q↓!8Eα@P∧∀!UαA@Dx↓B@Dp↓C4hαβD`αB`D`αβD`αβD`αα`D`αα`Dh↓B`4h↓B@Dh↓B@4h↓B 4P↓ 0@β∩@ λ↓B0λ↓∩@ ⊂↓↓`0λ↓R@`8β∩@`0βR@`0β⊃(@X EAPhβ↓)p@αIP ↓A0⊂&``_↓i@_β↓⊂⊂%@a0%@a(%@a(%a⊂ %a⊂_%@@p(%@`@@@I@H↓↓IP0αAλT ε∧BAP
α@e⊂∧T @ ↓∀00↓S`08↓S` @↓S@08↓S@ _∧∪@ ⊂∧∪@ ⊂∧∪ 0_α 4h↓α 4h↓α 4h↓α 4`↓B4`↓α 4`↓B4`↓A`4XαA 4X↓!∀X↓`TX↓∩@4P↓∩@$P↓∩@$("β"↓⊂ C 0(βI@8α@I0H↓@i0_α` ⊂%``_@I ⊂∧↓) ⊂∧↓
P_*@jP⊂*@J@_*j@_*j0 )@j0_)@j0⊂"Q↓`hλ¬α@8αTtx↓↓$p↓∪@$p↓S`Eα∪@th↓@@D`↓A4`↓A $X↓A@$X↓A@$X↓A $P↓A@$P↓A@$X↓↓ $X↓@`$`β∪ D("βa pεC P(&Ai@_%@i0⊂%α @%i ⊂%I _%@@P⊂%B)P0"QαXπE!p0↓∪`4xαS@t`↓@ TX↓@@DX↓∩@$P↓∩@$P↓∩@$Pα∩`D`α∪ Dp↓S`$x↓∩@ _↓∩@dXα⊃(Aλλ∧B0h↓`@(%A @%A ⊂_↓@i Hαi ⊂A P_%@⊂ βi@ β↓ @ β↓ @_β@i@_β@i0 β↓ 0 β↓ 0_β@i0_β@j@ *↓
@_*j@_*hT β↓q
↓`5αS` ⊂↓∪@ _↓S 0_↓S0 ↓S0 ↓R`0(↓R`0(↓Ra4Pε∩@0(↓R@0(↓R@0(↓R@0 ↓R@0 ↓R@0_↓R@0_↓∩` ⊂↓∩`T`↓Q(A_¬β↓Ph↓@iP_&↓ @ &i@_%A 0 %@`@⊂%@`@⊂%↓0_%` %Ai0("QαAλ
β!P_↓A Dh↓AT`α@t`α D`βSdX∧∩a$X↓A0 ↓∩`0(↓@`$Pα↓ 0⊂↓R@@(↓@ 4P↓A@dP↓A`D("¬"↓_
¬0 &A)p (j_(↓
⊂_(@j⊂ )j (A*0'B ` ↓iP ↓@i@ α↓ 0 βi βA _∧A _∧AλT ∧BQ_εA00↓S@00↓S @(α∪ @(α∪ 00↓S 00↓S@(α∪@(α∪00↓@@$`↓A @⊂↓∩`P_α@ 4Xα@@`λ↓∩a⊂λβ∩`0λα`DPα∩@DP↓R@4P↓R@4("¬b↓_εC ⊂(β@i0(β@iP_β@i@ β↓ @_β@i@_β↓ @_βi0 α@i0_α@i0_↓A 0_A) H%↓i "Qβp εB@8↓∀ %λβ∀↓∧p∧S@ ⊂α∪ 4`↓S4`↓S0λαS!∀h∧∪ λαR`$P↓∩@$P↓∩@4PαR`t`∧S`u⊂α∪@0_↓∪@uα⊃(AHλE↓Ph↓βi1%∧) _↓`⊂_%@0⊂↓Ip⊂↓I`_↓I`_↓IP_↓@IP_↓@I@ ↓@i0 αi0 αi0_α@hT
βB⊃_εBEβS`0_↓∪@0 ↓S@ (↓S 0(↓S 0(↓S@ ↓S@ ↓S0(↓S0 ↓R`@_↓Ra∀X↓@ DX↓R@DPα∩@4P↓R@4("εb! εC ``'C)`p&@`@ &`` %@a_%@a_%@`p_%a_%a_%@@p_%@`@ &α P("Qβ@hλβ!P⊂¬RaDPεR@0⊂↓∩@ ⊂↓S@4p↓S@$h↓S 4h↓SD`↓S4("π"↓⊂εC β@i00βi0⊂@``_%`⊂_β@I ⊂Ap⊂%@⊂_∧IP_∧I@ β@i@_∧I@_β@i@ α@iP ↓@i`@'AHT ∂∧"AP
α`%(↓∃5 ↓∃% ↓∀`5λβ∪a$p↓@@ λα∪ _↓@`$`↓@` ↓R`0 ↓↓4X↓A ↓R`0_↓@`4P↓A ↓R` ↓↓$X↓@` _↓S0λ↓@ Dh∧S@e↓∪`4x↓∪`$x↓∪`$("πb! C ¬I00∧i0⊂A`_'@`P_'@`@_'A0⊂(` _(↓j⊂((A
⊂ (↓)p8'` _&@`0_&`@ %@``_%@@p @I _∧↓I ⊂¬↓λT ⊂¬αaP
β %8↓∃`%8↓∃@50↓∃@$hα↓ _↓S`_↓@`4X↓@ 0_↓↓4P↓@@0_↓↓ $P↓@@_↓↓ $P↓@0_↓A $p↓@` 0↓∪ @_↓↓ 4h↓A (↓∪ 0_↓A4hα@ ↓S@@λ↓@Dx¬T↓¬⊂↓∀@%⊂↓∀ 5λ↓∀ $("λ"! εC ⊂¬@i@⊂¬@i0_¬@i0⊂ε@I _β@P⊂%@`_α@I ⊂β`P⊂%@`_αi ⊂β@P⊂%@P_αi ⊂↓A@ _%∧ 00↓↓I@ α↓λT ⊃β"hεA th¬∪↓4`↓↓@4X↓`$X∧∪tX∧∩@$P↓α$P↓↓@DX¬∩a∀hβ⊃(B_ ¬αA ¬↓
8)` ⊂(@`0_(@@@_(@@@_(@`0_&`0 @i0(↓Ai0(αAi 0β↓I ⊂@``_%@⊂_βiP_βi@ α@i@_βi@_α@i@_α@I@ ↓@IP8'↓(T ∩ε#@hε@BtX∩C∀P↓@ x↓∩@ λ↓C`$h↓↓@ @↓∪ 0↓α$`↓A 08↓S 0↓A`$`↓↓ P(↓S0⊂β@`D`∧A∧hβ↓dpα↓@D(" !Qλ β p 'Ai`_↓@IP_αiP⊂α@i@_α@i@_α@i@_αi0_α@i0_α@i0_αi0_↓@i ⊂AI ⊂↓↓ ⊂%I X%β @P"Q∧``λ∧↓P0αSA∧`↓A $X↓R`$P↓∩@$P↓∩@4Pα∩`d`βS@eλ↓T@$hβ∪ T(" bA8 C ⊂∧↓)@⊂βα 0_αBI0⊂αAP_%`@_∧I ⊂αa⊂⊂%@@_∧@I ⊂↓@a⊂_%@0⊂∧@i _↓A_%A@P0&βIP`'α)P_&@iP_&↓ @_&hT ∧"A
↓`dx¬∪@@ ↓S@00↓S@00α∃`E8α∀`λα∪aDh↓A d`↓A`T`↓A`DX↓B 4X↓B 4X↓B4P↓B 4P↓B4X↓↓`DX↓AT`¬∪ t("_↓a
¬↓_(A*⊂↓Ip_↓Ip⊂↓@I`_↓i`_↓IP_↓iP_↓IP_@i@8&↓I@(&↓)@ &i0 %↓ `_%@⊂⊂α↓)PH'↓HT =BA0hε@`D`β∩`0λ↓R@0⊂↓R@ ⊂α∩@ ⊂↓S@4hα∪ 0⊂↓∪@⊂↓∪0⊂↓S0λ↓S Thα⊃(G`εβB0hβA p8'↓⊂_'@0_&@`0_&@@@_)@j )j _)j⊂ (@j⊂_(@j %`0_%` %↓i0("Q∂Q⊂∧aP ↓∪@ αR`0 ∧∩` _αA$P↓`@0↓R@ ⊂↓B4P↓ 0H↓R@PHα∩@@⊂↓A 4Pα@0(↓R`0⊂↓A4Pα@ 0_↓R@ λ¬R@ ⊂↓@ DP↓@4P↓`$P↓`$P↓@4Pβ∩`4("∨Aq(αE↓@⊂+I x%βjP_*@HT ?CαP_ Ad`∧R` 0↓R@ @↓⊃(CπD!Phα↓i@X%AP %@`p_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%@`p_%AP &αi`8"Qε⊂`λβ!P0↓∩A∧P∧∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DPε∩AD("AQεC 00%BI α↓) αA 0⊂β↓
()↓
⊂ 'A ⊂'↓0⊂&BI0`%β `"Qε0xλDaP β∪↓$`↓↓@4Xα↓ DXα↓ D`↓↓@E_α∀@DpβS@u_α∃ 5(α∩` @α∩@@8α∩@@8α∩@0@↓R`00↓S↓$pβ⊃(C πD"0h¬J0_)↓
⊂((A*0'Ai`_A P_↓↓ @_↓A 0_α↓ _αA x%βj )↓
)↓ pP'BHT ~C"↓_ε@!4X¬Ra$X∧∩`$X↓∩`$X∧∩a∀X↓A4X↓↓@5_α∀`DP↓A@DP↓A@DP↓A@DP↓↓`4X↓A4`∧∪ T("
Aqλ D``('α)P αi@_βi@_βi0_%@i _α↓ _↓α _@@@ %`⊂λβi ∧i ∧i ∧i0_∧i0_∧i@_βiP_αi`@'AHT ≠Cb! π $Xπ∩adXεRATP↓A`$P↓↓`4P↓↓@5⊂↓∀ 5λ↓∀5↓S`Dx↓S`4pα∪@Dpα∪@Dx↓⊃(C@πD"1_αAIPP&@`_%@A_%@A⊂⊂%A`_%A@0_&αIP@&B)@X%A00%@`` %↓p %a⊂_%↓↓⊂%@`p_%A @_&αI`0"Qπ⊂xλDaP(αS!∧`↓A4X↓A@4P↓B4P↓B4P↓B $P↓B 4P↓B 4P↓BDX↓A`D`↓A λ↓S↓⊂↓S@@_↓U 5(↓R`00↓R`0(↓Ra$hβ⊃(B@∂λ P`α@Ip⊂&A @ %πI!p"Q¬⊃p⊂A!∂∩Cd`α∪ Dx↓∪`$("
CbλαCαp⊂0@L⊂ 1↓ !p%πHT ∃GD⊂(∧βdP∂_@Fλα_ &λ↓⊃(B`αB↓x↓i0 %i ⊂%I ⊂%i0 &hT ⊗A!@π@4Pα∪4h↓∪ $h↓∪4Pα∩@4("AqλπC`⊂%↓ 0%@⊂(%@0(%@P(%@p(%A⊂ %A⊂ %@p(%@P(%@0(%@⊂(%↓I %HT ↔Cb⊂xπC %(α∀`eλα@ $xα@`$hαA $XαA`$Pαα $Pαα $XαA`$hαA $xα@`%λα@ %_β∃ E8↓⊃(CPαα0_@I %↓ 0⊂"Qπ0 ∧α 0λ↓∩@DPα∩`4`↓∪$X↓R`$P↓R@$("∂αA@ D" ⊂-↓(+↓*@()↓*('↓)@(%↓) %A)P('A*⊂()A*P(+A+⊂(-@hT ≡C↓apα@% ↓∀`5_↓∀`%⊂↓T@%⊂↓∀ 5λ↓∀ %↓T%↓∪`4x↓∪@4p↓∪@$h↓S $h↓∪4`↓∪$X↓R`$X↓∩@4P↓∩@$("∂BA@ D ⊂%↓ 0(&A)p((A*0(*A*p(,A+ ,↓*`(*↓* ((↓)`(&↓) (%hT ∨Dα hπ↓`%λ↓∀ %λ↓∀ $Pα@@ ⊂αRB∧h¬∪`dxβ∪@0⊂↓S 0 ↓S00↓S @↓⊃(EX∧Cαa0I ⊂%I ⊂%I ⊂%I ⊂%I 8%α _↓↓ ⊂αi ⊂αi ⊂αi ⊂↓A ⊂↓@i ⊂↓i ⊂A 0%↓) %HT .↓a1P
$P↓∩@$P↓∩@ _↓∩@ ⊂↓R@tPβR@tP↓@@$P↓`$P↓`$P↓`$P↓`$P↓`$P↓`$P↓`$P↓`$P↓@4PβR@tPβR@0⊂↓∪`$x↓∪`$x↓⊃(Eh∧Cβ! βJ⊂%@@0⊂%@@0⊂%@@0_%@@ %B @%α ↓I0⊂↓@I0⊂↓@I0⊂↓@I0⊂↓@I0⊂↓@I0⊂↓@I0⊂↓@I0⊂↓@i0⊂↓↓ 0@%α @%↓ ⊂%@@0⊂%@@0⊂%@I0⊂"Qap⊂B↓0↓ε@$P↓F4X↓ε$Xα¬D`αDThβB@tx
∀"¬ ¬⊃(Ex∂λ!X¬αJ⊃'E P8¬↓i@(λ↓)0
↓ 0⊂I _i ⊂
H←@∧∨__zT"c8↓∨3@↓∨3@α ␈␈␈␈@↓0{⊂#@π2 ∧?0!πpiA@∨≡d_
↓b_Ge⎇HApβ␈
8⊃`{⊃#0π_j -␈0#¬``∂p`r↑d8∞↓sph@⊂⎇I↓pβ␈(`&P{∩"∧0bPX∨0%¬ X
2 ↓<↑dX∂α¬⊂ _∃⎇IAHβ1&p8 {∪$0 $Hx?0'π x:s`α∩↑dx∞↓oλc@ [⎇J↓8β∂&pPP{∀#Pπ]PP↓)?0)ε`pIz αn≡e_↓=@r0π⎇JA0αumλe@{∃#⊂εY.@↓T∨0+¬ X
#β>≡e8⊂α⊂_e@8"⎇K↓hβy≠@|P{⊗"`¬gi αβ?0-ε`q↔`∧_≡fλ
↓-λ≥@U⎇L!α→k⊂↓∞p{_b⊂∧=dpα&←02∧`P&∨∧X↑f(λ@↓∂8∪@HY⎇La⊂α4∩x↓≡{→b⊂∧K:@αD←04¬@XO↓@¬≤≡fHε@s}@Pa⎇M p↓n≤8↓/p{~b@¬%⊃0αh∨06β07'@¬d≡fh⊂@α↔p5@Xd⎇Ma8β p_↓C {≠b ∧v¬`β⊂∨08∧`P&∨ε.≡gλλ@↓∩@⊃@hα⎇N!α_?_↓TP{≤b ∧WZ⊂β/∨0:β@8Z @εj↑g(↓<P#hp⎇Na_α@↓bp{≥c π =PβN∨0<¬PvB π4≡gH @↓"λ↔@xλ⎇O!⊂α11↓v0{α`¬f``βs∨0G`↓8q`πu↑`⊂
@↓fh∧@↓∂⎇@1@β⊗`Xαλ@{↓β⊂εYc@∧~?0αG@↓→z λD≡`0∞↓s8Z↓λ3⎇@q0αxq`α≠{αβ⊂εU*P∧?∨0∧Fhα/@ ∀≡`P
↓←05@↓⊂T⎇A1@β≤Cα0P{βαP¬Lf0∧i␈0εEPu] m≡`pλ↓ λλ@↓_z⎇Aqα∩αC`{∧↓`βV$¬∨0λE X
7
&↑a⊂λ@↓∪@r↓ u⎇B0p↓o↓HαSP{¬α`¬g@`¬,←0
E@XcG
i≡a0↓@λJ@↓(q⎇Bq αO~pαc@{εα0¬∞≤@¬N∨0E@XCj@-↑aP @↓∨xε@↓0y⎇C1(αc≡Xαs@{π↓p∧⊂j ¬m←0∞E X∧↑`e≡ap↓>X∩↓8k⎇Cq8β =Pββ`{λβεG∞ ε⊃?0⊂E``<k@@≡b⊂ ↓→X?@↓H%⎇D18β↓Vxβ↔0{ βPπa6ε9␈0∩D`H␈C
ε≡b0 ↓→X?@↓P.⎇DqPβ@y0β(@{⊂α`¬fopε[?00β`@%v@
J≡gXε@qxM@↓X7⎇OAα∂4⊂β:⊂{∨#⊂εO∃`ε{←0?∧`P≤9∞⊂≡gx¬@a⊂{@↓`)⎇F↓_αG∞ βF0{"0¬∞≤@π∪←0→∧`P≤9∞0≡c_ @↓#@r↓`v⎇FA_αG∞ βRp{
"0¬∞≤@π,␈0≠∧`P≤9∞i≡c8 @↓#@r↓hy⎇G↓_αG∞ βbP{∞"0¬∞≤@πN∨0∀ ↓_G∞ ∂/↑bH∩@α8p≤@↓ph⎇E"(∧qcHβn {
dP cG⊂π↑␈0⊗α`0 =`∂B↑bh¬@a⊂{@↓x⊃⎇Ea_αG∞ βs`{b0¬∞≤@πn␈0≥α`0 =`∂l↑cX¬@a⊂{@↓x`⎇GAhβm∧`β⎇`{∂"⊂∧U*Pλ↓?0∨π x4∪⊂∀≡cx @↓#@rα?⎇K0xα∧↑h∧
p{↔↓p∧ =Pλ≡?0.C`@∩{ ⊂R↑ep∩@α8p≤@αλT⎇Kr(∧qcH∧≤p|@αλy`{⎇xow{⎇x